"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of determining if there exists an interpretation, which satisfies the formula. In other words, it establishes if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
詳細百科解釋